Circuit design language